801. Nonclassical Logics and Information Processing :
المؤلف: edited by David Pearce, Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
![](/design/images/bookmore.png)
802. Nonlinear biomedical signal processing
المؤلف:
المکتبة: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)
موضوع: Signal Processing, Computer-Assisted,Biomedical Engineering,Fuzzy Logic,Neural Networks (Computer),Models Biological,Algorithms
رده :
QT26
.
5
N813
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
803. #Nonlinear biomedical signal processing
المؤلف: #edited by Metin Akay
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Signal processing ،Biomedical engineering ،Fuzzy logic ،Neural networks )Computer science(
رده :
#
R
،#.
S47
,
N66
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
804. On sets and graphs : perspectives on logic and combinatorics
المؤلف: Omodeo, Eugenio
المکتبة: (طهران)
موضوع: ، Graph theory,، Algorithms,، Computer logic,، Combinatorial analysis
رده :
QA
248
.
O46O5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
805. OpenSHMEM and Related Technologies
المؤلف: \ Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic design,کامپیوتر,طراحی منطقی,a03,a04,a03,a04
رده :
E-Book
,
![](/design/images/bookmore.png)
806. P-Functions and Boolean matrix factorization : a unified approch for wired, programmed, and microprogrammed implementations of discrete algorithms
المؤلف: Thayse, Andre, 0491-
المکتبة: (طهران)
موضوع: ، Computer programming,، Logic design,، Algorithms,، Algebra, Boolean
رده :
QA
76
.
L28
Vol
.
175
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
807. P-Prolog, a parallel logic programming language
المؤلف: Yang, Rong
المکتبة: (طهران)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
808. P-Prolog a parallel logic programming language
المؤلف: Yang, Rong
المکتبة: (طهران)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12V36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
809. P-Prolog, a parallel logic programming language
المؤلف: Yang, Rong
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
.
Y36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
810. P-Prolog, a parallel logic programming language
المؤلف: Yang, Rong.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
811. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
المؤلف: Thayse, Andre
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
6
.
T4452
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
812. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
المؤلف: Thayse, Andre
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
L4
v
.
175
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
813. PROLOG for Computer Science
المؤلف: by M.S. Dawe, C.M. Dawe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
814. Par 2019: Parallel Processing Workshops-Euro
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer organization. ; Software engineering. ; Computers. ; Microprogramming?. ; Logic design. ;
![](/design/images/bookmore.png)
815. Parallel and distributed logic programming
المؤلف: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
![](/design/images/bookmore.png)
816. Parallel and distributed logic programming
المؤلف: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
817. Parallel and distributed logic programming
المؤلف: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
818. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
المؤلف: Bhattacharya, Alakananda
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
819. Parallel logic programming
المؤلف: Takeuchi, Akikazu
المکتبة: (طهران)
موضوع: ، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
642
.
T35
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
820. Parallel logic programming
المؤلف: / Akikazu Takeuchi
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel programming (Computer science),Logic programming
رده :
QA76
.
642
.
T35
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)